可分椭圆型偏微分方程的 FACR(L)算法及其并行实现

文中就解Dirichlet 边界条件的Poisson 方程给出了FACR(L)算法及其并行实现过程,讨论了FACR(L)算法的计算复杂性,给出了针对向量机YH—1的算法的参数L 的优选公式,在YH—1机上得到了较为理想的,数值试验结果。     

空投产品入水可靠性的评估方法

针对空投某产品时试验多状态、小样本的特点,提出了基于回归折算的性能可靠性评估方法.通过分析投放过程的数学模型,给出入水参数关于投放条件的回归模型,并根据试验数据估计出回归系数.利用回归折算将分散在不同空投条件下的试验数据折算到某一条件下,基于折算后的试验数据得到了较客观的产品入水可靠性评估结果.     

NON‐LINEARITY IN THE DEFENCE EXPENDITURE – ECONOMIC GROWTH RELATIONSHIP IN TAIWAN

As we enter the 21st Century, technologies originally developed for defense purposes such as computers and satellite communications appear to have become a driving force behind economic growth in the United States. Paradoxically, almost all previous econometric models suggest that the largely defense‐oriented federal industrial R&;D funding that helped create these technologies had no discernible effect on U.S. industrial productivity growth. This paper addresses this paradox by stressing that defense procurement as well as federal R&;D expenditures were targeted to a few narrowly defined manufacturing sub‐sectors that produced high tech weaponry. Analysis employing data from the NBER Manufacturing Productivity Database and the BEA’ s Input Output tables then demonstrates that defense procurement policies did have significant effects on the productivity performance of disaggregated manufacturing industries because of a process of procurement‐driven technological change.     

机房漏水检测与精确定位装置研究

机房漏水是危及精密信息设备长期稳定可靠运行的重大安全隐患。为了解决传统定位装置难以实现漏水点精确定位的问题,从传感电缆的检漏原理出发,利用分压补偿原理,通过STEP7软件编程,设计了一个结合自检、漏水检测和漏水定位3种功能的机房漏水检测与定位装置。在此基础上搭建了实验系统,经测试实验,结果表明短距离定位精度可以达到1．70％,从而证实了该装置检测的有效性和定位的精确性。     

线性规划优化分析的元模型方法及其比较

线性规划优化分析在经济管理等领域有着广泛的应用。当线性规划约束条件的右端向量在一定范围内变化时,目标函数的最优值是右端向量的一个复杂的分片线性函数,但通常难以给出分析表达式。应用多项式回归、径向基函数、Kriging法及多项式回归 Kriging法这四种元模型方法,能快速预测最优值函数。通过仿真实验,对这四种形式的元模型作较全面的比较分析。数值实验的结果表明,用次数较少的实验设计,后三种方法都具有较高的拟合精度;特别地,多项式回归 Kriging法不仅拟合精度高,而且还能用一个二阶多项式给出最优值函数的一个简明的近似描述。结果表明,元模型方法是研究线性规划优化分析问题的有效途径。     

[AXB,GXH]=[C,D]对称最小二乘解及最佳逼近的极小残差法

构造迭代算法研究了矩阵方程[AXB,GXH] = [C,D] ,证明了该算法可经有限步得到方程的对称最小二乘解及其最佳逼近,并给出了相关性质.最后,通过数值例子表明该算法是有效的.     

平底气泡船凹槽气层波动特性

为提高大型平底气泡船底部凹槽设计的有效性,基于RANS方程及VOF两相流模型构建了大型平板船凹槽气层数值计算模型。研究气层在凹槽中的动态发展过程,分析速度对气层波动的影响规律,并阐述三维凹槽气层的波形特性及其与二维气层波动的区别,揭示气层波动的相似律。数值结果表明:气层在凹槽中呈现波动形态,气层波长随速度的增加而增大,波长等于速度平方的0.64倍;气层在凹槽侧壁的干扰及反射下呈现相干波系,从而其波高及局部厚度也随之改变;气层波动满足傅汝德相似。     

双频去相关单历元动态解算整周模糊度研究

针对GPS实时动态精密相对定位应用背景,提出一种整周模糊度实时求解方法。采用宽巷组合载波相位双差、伪距双差观测信息建立观测模型;对浮点模糊度协方差阵进行一次Cholesky分解,构造了浮点转换矩阵,使浮点模糊度完全去相关;推导确定整周模糊度的搜索空间;利用最小残差平方和搜索准则,确定单历元整周模糊度,并用OVT检验方法,对不同历元得到的整周模糊度进行一致性检验。结果表明,观测量误差均方差取值对整周模糊度搜索空间和成功率有较大影响,附加OVT检验的双频去相关单历元动态解算整周模糊度方法正确可行。     

基于多元回归理论的油液光谱分析诊断方法

利用多元回归理论对光谱数据建立了多元回归诊断模型,并且建立了回归方程以及回归系数的检验方法,给出了异常磨损的界限值,最后通过诊断实例证明了该模型有一定的应用价值。     

基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.